<?php
$z[0]=Array("global","",67,92);
$z[0][4]['name']="autoindex";
$z[1]=Array("arcurl","",138,153);
$z[2]=Array("title","",155,169);
$z[3]=Array("global","",201,226);
$z[3][4]['name']="autoindex";
$z[4]=Array("arcurl","",309,324);
$z[5]=Array("title","",326,340);
$z[6]=Array("global","",372,397);
$z[6][4]['name']="autoindex";
$z[7]=Array("arcurl","",508,523);
$z[8]=Array("title","",525,539);
$z[9]=Array("typeurl","",658,675);
$z[10]=Array("typename","",700,718);
$z[11]=Array("arcurl","",733,748);
$z[12]=Array("title","",750,764);

?>